Speedup for Natural Problems and NP=?coNP
نویسنده
چکیده
Informally, a language L has speedup if, for any Turing machine (TM) for L, there exists one that is better. Blum [2] showed that there are computable languages that have almost-everywhere speedup. These languages were unnatural in that they were constructed for the sole purpose of having such speedup. We identify a condition apparently only slightly stronger than P 6= NP which implies that accepting any coNP -complete language has an infinitely-often (i.o.) superpolynomial speedup and NP 6= coNP . We also exhibit a natural problem which unconditionally has a weaker type of i.o. speedup based upon whether the full input is read. Neither speedup pertains to the worst case.
منابع مشابه
Speedup for Natural Problems
Informally, a language L has speedup if, for any Turing machine (TM) for L, there exists one that is better. Blum [1] showed that there are computable languages that have almost-everywhere speedup. These languages were unnatural in that they were constructed for the sole purpose of having such speedup. We identify an intuitive condition which, like several others in the literature, implies that...
متن کاملInverse HAMILTONIAN CYCLE and Inverse 3-D MATCHING Are coNP-Complete
In this paper we show that the Inverse problems of HAMILTONIAN CYCLE and 3D-MATCHING are coNP complete. This completes the study of inverse problems of the six natural NP-complete problems from [GJ79] and answers an open question from [Ch03]. We classify the inverse complexity of the natural verifier for HAMILTONIAN CYCLE and 3D-MATCHING by showing coNP-completeness of the corresponding inverse...
متن کاملS 6810 Theory of Computing February 3 , 2009 Lecture 5 : Polynomial Hierarchy Instructor : Rafael Pass Scribe : Navin Sivakumar
Recall that NP can be thought of as the class of languages consisting of strings for which there exists an easily verifiable proof. Similarly, the complementary class coNP can be interpreted as the class of languages consisting of strings for which all proofs fail. Intuitively, problems in NP ask whether there exists a string satisfying certain properties, whereas problems in coNP whether all s...
متن کاملA Deductive Inference for the Interiors and Exteriors of Horn Theories
In this paper, we investigate deductive inference for interiors and exteriors of Horn knowledge bases, where interiors and exteriors were introduced by Makino and Ibaraki [Makino and Ibaraki 1996] to study stability properties of knowledge bases. We present a linear time algorithm for deduction for interiors and show that deduction is coNP-complete for exteriors. Under model-based representatio...
متن کاملA Algorithms and Complexity for Periodic Real-Time Scheduling
We investigate the preemptive scheduling of periodic tasks with hard deadlines. We show that, even in the uniprocessor case, no pseudopolynomial time algorithm can test the feasibility of a task system within a constant speedup bound, unless P = NP. This result contrasts with recent results for sporadic task systems. For two special cases, synchronous task systems and systems with a constant nu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0906.3765 شماره
صفحات -
تاریخ انتشار 2009